dynamic semantics造句
例句與造句
- development and creative thinking of dynamic semantics
動(dòng)態(tài)語義學(xué)的發(fā)展和創(chuàng)新思維 - a clearly defined dynamic semantic framework
一種清晰定義的動(dòng)態(tài)語義框架 - from drt to sdrt-new development of the theory of dynamic semantics
動(dòng)態(tài)語義理論的新發(fā)展 - in the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language . uml lacks in a strict definition of dynamic semantics
在uml規(guī)范中，編制者是用較為形式化的語言ocl(objectconstraintlanguage)和自然語言兩種手段描述靜態(tài)語義，而動(dòng)態(tài)語義卻基本上完全是用自然語言來描述的，uml缺乏一個(gè)嚴(yán)格的動(dòng)態(tài)語義定義。 - in the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language . uml lacks in a strict definition of dynamic semantics
在uml規(guī)范中，編制者是用較為形式化的語言ocl(objectconstraintlanguage)和自然語言兩種手段描述靜態(tài)語義，而動(dòng)態(tài)語義卻基本上完全是用自然語言來描述的，uml缺乏一個(gè)嚴(yán)格的動(dòng)態(tài)語義定義。 - It's difficult to find dynamic semantics in a sentence. 用dynamic semantics造句挺難的
- we use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy
由于構(gòu)件可能具有不同的抽象層次和粒度，我們采用了時(shí)序邏輯語言xyze作為構(gòu)件描述語言，這種語言能夠描述構(gòu)件的靜態(tài)語義和動(dòng)態(tài)執(zhí)行，并且能在不同抽象層次上對(duì)系統(tǒng)進(jìn)行形式化描述。 - according to the characteristics of workflow process execution, a kind of reactive activity-centered process meta-model is defined and a kind of graphical notation is provided for it, at the same time, for this meta-model, a kind of dynamic semantics is specified, which represents the runtime behavior of the process and can be expressed as a finite state automata . finally, an example is given to illustrate how to apply it to analyze the semantic correctness of process models
根據(jù)過程執(zhí)行的特點(diǎn),定義了一種以活動(dòng)為中心的反應(yīng)式過程元模型,并為其提供了一種圖形表示,同時(shí)為此元模型指定了一種體現(xiàn)過程運(yùn)行時(shí)行為的動(dòng)態(tài)語義,該語義可表示為一個(gè)有限狀態(tài)自動(dòng)機(jī).最后舉例說明了如何應(yīng)用它分析過程模型的語義正確性